منابع مشابه
Constructive algebraic integration theory
For a long time people have been trying to develop probability theory starting from ‘finite’ events rather than collections of infinite events. In this way one can find natural replacements for measurable sets and integrable functions, but measurable functions seemed to be more difficult. We present a solution. Moreover, our results are constructive (in the sense of Bishop).
متن کاملConstructive algebraic integration theory without choice
We present a constructive algebraic integration theory. The theory is constructive in the sense of Bishop, however we avoid the axiom of countable, or dependent, choice. Thus our results can be interpreted in any topos. Since we avoid impredicative methods the results may also be interpreted in Martin-L type theory or in a predicative topos in the sense of Moerdijk and Palmgren. We outline how ...
متن کاملConstructive aspects of algebraic euclidean field theory
This paper is concerned with constructive and structural aspects of euclidean field theory. We present a C*-algebraic approach to lattice field theory. Concepts like block spin transformations, action, effective action, and continuum limits are generalized and reformulated within the C*-algebraic setup. Our approach allows to relate to each family of lattice models a set of continuum limits whi...
متن کاملAlgebraic Integration Theory
1. Introduction. Although the theory of the abstract Lebesgue integral has strong intrinsic architectural articulation, the very importance of the theory for a variety of mathematical applications has tended to cloud its basic simplicity and elegance. The large number of approaches and formalisms, each justified by its appropriate-ness in connection with particular applications, has given the t...
متن کاملConstructive and Algebraic Methods of the Theory of Rough Sets
This paper reviews and compares constructive and algebraic approaches in the study of rough sets. In the constructive approach, one starts from a binary relation and defines a pair of lower and upper approximation operators using the binary relation. Different classes of rough set algebras are obtained from different types of binary relations. In the algebraic approach, one defines a pair of du...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2006
ISSN: 0168-0072
DOI: 10.1016/j.apal.2005.05.031